OGrp\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$g$:OCMon\{i\}$\mid$ Inverse($\mid$$g$$\mid$;$\ast$$g$;e$g$;$\sim$$g$)\}